Knihy od autora Rolf Drechsler

Zobrazeno 1 – 20 z 68 výsledků

1. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1843 Kč

   Koupit
2. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2022

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2533 Kč

   Koupit
3. 

   Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

   Mehran Goli, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   2423 Kč

   Koupit
4. 

   Verbessertes virtuelles Prototyping

   Vladimir Herdt, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   1938 Kč

   Koupit
5. 

   Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

   Sebastian Huhn, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Němčina

   Vazba: Pevná

   2423 Kč

   Koupit
6. 

   Test Pattern Generation using Boolean Proof Engines

   Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2009

   
   

   Skladem u dodavatele - Odesíláme za 14-21 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2675 Kč

   Koupit
7. 

   Formal Verification of Structurally Complex Multipliers

   Alireza Mahzoon, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2121 Kč

   Koupit
8. 

   Automatic Methods for the Refinement of System Models

   Julia Seiter, Robert Wille, Rolf Drechsler | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
9. 

   High Quality Test Pattern Generation and Boolean Satisfiability

   Stephan Eggersglüß, Rolf Drechsler | Springer-Verlag New York Inc., 2011

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2303 Kč

   Koupit
10. 

    Advanced Boolean Techniques

    Rolf Drechsler, Sebastian Huhn | Springer, Berlin, 2023

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    2592 Kč

    Koupit
11. 

    Advanced BDD Optimization

    Rudiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2010

    
    

    Skladem u dodavatele - Odesíláme za 10-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3379 Kč

    Koupit
12. 

    Erweiterte virtuelle Prototypen für heterogene Systeme

    Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

    
    

    50 % šance - Prohledáme celý svět

    Jazyk: Němčina

    Vazba: Pevná

    1831 Kč

    Koupit
13. 

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3532 Kč

    Koupit
14. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2000

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3532 Kč

    Koupit
15. 

    Reversible and Quantum Circuits

    Nabila Abdessaied, Rolf Drechsler | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1182 Kč

    Koupit
16. 

    Robustness and Usability in Modern Design Flows

    Görschwin Fey, Rolf Drechsler | Springer, 2010

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit
17. 

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker | Springer-Verlag New York Inc., 2010

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3532 Kč

    Koupit
18. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2010

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2357 Kč

    Koupit
19. 

    Languages, Design Methods, and Tools for Electronic System Design

    Rolf Drechsler, Robert Wille | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele - Odesíláme za 10-13 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    1182 Kč

    Koupit
20. 

    Formal System Verification

    Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    Skladem u dodavatele - Odesíláme za 5-8 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    2827 Kč

    Koupit

Nejpopulárnější internetové knihkupectví. Zjistěte více